Ambient Isotopic Meshing of Implicit Algebraic Surface with Singularities

A complete method is proposed to compute a certified, or ambient isotopic, meshing for an implicit algebraic surface with singularities. By certified, we mean a meshing with correct topology and any given geometric precision. We propose a symbolic-numeric method to compute a certified meshing for the surface inside a box containing singularities and use a modified Plantinga-Vegter marching cube method to compute a certified meshing for the surface inside a box without singularities. Nontrivial examples are given to show the effectiveness of the algorithm. To our knowledge, this is the first method to compute a certified meshing for surfaces with singularities.Comment: 34 pages, 17 Postscript figure

Gravity Dual of Gauge Theory on S^2 x S^1 x R

We (numerically) construct new static, asymptotically AdS solutions where the conformal infinity is the product of time and S^2 x S^1. There always exist a family of solutions in which the S^1 is not contractible and, for small S^1, there are two additional families of solutions in which the S^1 smoothly pinches off. This shows that (when fermions are antiperiodic around the S^1) there is a quantum phase transition in the gauge theory as one decreases the radius of the S^1 relative to the S^2. We also compare the masses of our solutions and argue that the one with lowest mass should minimize the energy among all solutions with conformal boundary S^2 x S^1 x R. This provides a new positive energy conjecture for asymptotically locally AdS metrics. A simple analytic continuation produces AdS black holes with topology S^2 x S^1.Comment: 17 pages, 4 figures, v2: minor changes, added reference

Integration of Unmanned Aerial Systems in Class E Airspace: The Effect on Air Traffic Controller Workload

As technology rapidly advances and our imagination is no longer fantasy but instead reality, the aviation community needs to concentrate on the harsh truth of airspace safety. In the situation of integrating unmanned aerial systems (UASs) into the National airspace, UASs outside of terminal areas would generally be permitted to fly their preferred routes, and self-separate, with minimal intervention from air traffic control. From an air traffic control perspective, the integration could raise a number of human performance problems including workload extremes and passive-monitoring demands. One fundamental requirement for operation in the National Air Space is to preserve the safety of the general public. This paper describes an experimental evaluation of the effect different levels of UAS intent information has on air traffic controller workload. The simulation specifically manipulates intent sharing, that is, whether unmanned aerial vehicles provided advance notice of their intended maneuvers. The Effects on air traffic controller workload when control capability is altered were also explored

Positivity of energy for asymptotically locally AdS spacetimes

We derive necessary conditions for the spinorial Witten-Nester energy to be well-defined for asymptotically locally AdS spacetimes. We find that the conformal boundary should admit a spinor satisfying certain differential conditions and in odd dimensions the boundary metric should be conformally Einstein. We show that these conditions are satisfied by asymptotically AdS spacetimes. The gravitational energy (obtained using the holographic stress energy tensor) and the spinorial energy are equal in even dimensions and differ by a bounded quantity related to the conformal anomaly in odd dimensions.Comment: 36 pages, 1 figure; minor corrections, JHEP versio

Second-trimester Maternal Serum Quadruple Test for Down Syndrome Screening: A Taiwanese Population-based Study

SummaryObjectiveTo assess the usefulness of quadruple test screening for Down syndrome in Taiwan.Materials and MethodsMaternal serum concentrations of a-fetoprotein, human chorionic gonadotropin, unconjugated estriol, and inhibin A were measured in 21,481 pregnant women from 15 to 20 weeks of gestation.ResultsOf the 21,481 women, 977 returned values greater than the high-risk cut-off value (1 in 270). Most of these women (86.2%) decided to have an invasive procedure for genetic diagnosis. Nine cases of Down syndrome and 19 cases of other chromosomal anomalies were detected prenatally. Two children with Down syndrome were diagnosed after delivery even though a low estimated risk was determined following the quadruple test. The detection rate was 81.8% (nine out of 11 cases), with a 4.4% false-positive rate. The median multiple of the median value for a-fetoprotein, human chorionic gonadotropin, unconjugated estriol and inhibin A were 0.87, 2.34, 0.77 and 2.16, respectively, in affected cases.ConclusionThis is the first study of the quadruple test for Down syndrome in a Chinese population. Our findings suggested that the second-trimester quadruple test provides an effective screening tool for Down syndrome in Taiwan

Observations of Coronal Mass Ejections with the Coronal Multichannel Polarimeter

The Coronal Multichannel Polarimeter (CoMP) measures not only the polarization of coronal emission, but also the full radiance profiles of coronal emission lines. For the first time, CoMP observations provide high-cadence image sequences of the coronal line intensity, Doppler shift and line width simultaneously in a large field of view. By studying the Doppler shift and line width we may explore more of the physical processes of CME initiation and propagation. Here we identify a list of CMEs observed by CoMP and present the first results of these observations. Our preliminary analysis shows that CMEs are usually associated with greatly increased Doppler shift and enhanced line width. These new observations provide not only valuable information to constrain CME models and probe various processes during the initial propagation of CMEs in the low corona, but also offer a possible cost-effective and low-risk means of space weather monitoring.Comment: 6 figures. Will appear in the special issue of Coronal Magnetism, Sol. Phy

A Superspace Formulation of The BV Action for Higher Derivative Theories

We first analyze the anti-BRST and double BRST structures of a certain higher derivative theory that has been known to possess BRST symmetry associated with its higher derivative structure. We discuss the invariance of this theory under shift symmetry in the Batalin Vilkovisky (BV) formalism. We show that the action for this theory can be written in a manifestly extended BRST invariant manner in superspace formalism using one Grassmann coordinate. It can also be written in a manifestly extended BRST invariant manner and on-shell manifestly extended anti-BRST invariant manner in superspace formalism using two Grassmann coordinates.Comment: accepted for publication in EPJ

Some Findings Concerning Requirements in Agile Methodologies

gile methods have appeared as an attractive alternative to conventional methodologies. These methods try to reduce the time to market and, indirectly, the cost of the product through flexible development and deep customer involvement. The processes related to requirements have been extensively studied in literature, in most cases in the frame of conventional methods. However, conclusions of conventional methodologies could not be necessarily valid for Agile; in some issues, conventional and Agile processes are radically different. As recent surveys report, inadequate project requirements is one of the most conflictive issues in agile approaches and better understanding about this is needed. This paper describes some findings concerning requirements activities in a project developed under an agile methodology. The project intended to evolve an existing product and, therefore, some background information was available. The major difficulties encountered were related to non-functional needs and management of requirements dependencies

Intestinal geotrichosis in a German shepherd

A 4-year-old sexually intact male German shepherd with a 3-month history of chronic watery diarrhea was referred to the Veterinary Medical Teaching Hospital. Dehydration and serum biochemistry revealed hypoalbuminemia, and fecal material contained a large quantity of round arthroconidia that were microscopically observed. A specimen was submitted for fungal culture and yielded a white to cream-colored subsurface colony. Microorganisms derived from the colony exhibited chains of smooth, septate hyaline hyphae that were producing 1-celled arthroconidia. Geotrichum candidum was thus identified. Colonoscopic features included erythema, edema, and loss of the usual fine vascular pattern, with granularity of the mucosa of the descending column. Treatment consisted of oral administration of ketoconazole and metronidazole for 3 weeks, while oral prednisolone was tapered after 1 week of therapy. The dog's feces gradually softened after the first treatment. Fecal smear examination revealed no trace of the yeast-like microbes 7 days after treatment was administered, and 2 weeks post-treatment the dog passed well-formed stools and had regained its normal body weight. The previously observed clinical signs did not reoccur, even after oral medication was withdrawn